Module theory

Results: 977



#Item
141

Locales: a Module System for Mathematical Theories Clemens Ballarin http://www21.in.tum.de/~ballarin Abstract Locales are a module system for managing theory hierarchies in a theorem

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2013-04-22 15:38:59
    142

    Papers in Computational Methods for D-modules Nobuki Takayama, This is a collection of papers in computational D-module theory. The scope is limited to computation of invariants of D-modules in

    Add to Reading List

    Source URL: www.math.kobe-u.ac.jp

    Language: English - Date: 2006-03-26 21:43:02
      143Mathematical analysis / Mathematics / Functional analysis / Analysis / Operator theory / Operator algebras / John Robert Ringrose / Graduate Studies in Mathematics / Algebra over a field / Algebra / C*-algebra / Banach algebra

      MATHEMATICAL MODELS OF PHYSICS MODULE NAME SPECIAL TECHNIQUES

      Add to Reading List

      Source URL: www.ugr.es

      Language: English - Date: 2012-10-11 03:21:06
      144Homological algebra / Module theory / Algebraic geometry / Module / D-module / Flat module

      Recursive Object-Oriented Modules Keiko Nakata1 1 Akira Ito2

      Add to Reading List

      Source URL: www.math.nagoya-u.ac.jp

      Language: English - Date: 2005-03-03 03:55:18
      145Mathematics / Group theory / Parity / Parity of a permutation / Permutations / Model theory / Elementary class / Logic

      Which Kind of Module Should I Extract?? Ulrike Sattler1 , Thomas Schneider1 , and Michael Zakharyaschev2 1 University of Manchester, UK, {sattler,schneider}@cs.man.ac.uk 2

      Add to Reading List

      Source URL: ceur-ws.org

      Language: English - Date: 2009-07-07 04:46:34
      146Ring / Ring theory / Exponentiation / Module:User:Lesser Cartographies/MR / Probability theory

      Extremal problems on ∆-systems A.V.Kostochka Institute of Mathematics Siberian Branch Russian Academy of Sciences ∗

      Add to Reading List

      Source URL: www.math.uiuc.edu

      Language: English - Date: 2013-10-30 11:39:31
      147Mathematics / Information science / Technical communication / Semantic Web / Ontology / Logic / Knowledge representation / Upper ontology / Module / Model theory / Mereology / Structure

      Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, The modular structure of an ontology: an empirical study⋆ Chiara Del Vescovo, Bijan Parsia, Uli Sattler, and Thomas Schneid

      Add to Reading List

      Source URL: ceur-ws.org

      Language: English - Date: 2010-04-20 14:40:19
      148Pairing-based cryptography / Elliptic curve cryptography / Elliptic curves / Linear algebra / Module theory / Pairing / Tate pairing / Divisor / Elliptic curve / Weil pairing

      ECCEfficient and Generalized Pairing Computation on Abelian Varieties Hyang-Sook Lee Ewha Womans University

      Add to Reading List

      Source URL: www.hyperelliptic.org

      Language: English - Date: 2008-10-03 22:36:38
      UPDATE